They need to have "Real Genius" on there somewhere. Symbolics is actually listed in the credits, presumably for the contrived simulations that were run.