The David Mayer programming language had great pedagogical potential where LLM cheating is a problem.