Gedanken Language

By Reynolds. See ProtectionInProgrammingLanguages