Just the Meta-Language

Eliminate everything but the Meta-Language