We Schemers all believe that Scheme will be close to, if not be, the ultimate programming language. Languages such as Java, C#, Perl, or Ruby may be vogue, but they are just a step in the development of PL. Thus comes the question: when Scheme becomes the ultimate language, what else languages will there be? Of course there will be many languages on Scheme, and languages close to machine language will survive. But anything else? My solution is Mathematica, a language based on term rewriting, which lambda calculus, the foundation of Scheme, is a special case of.