OPENAI MASCOT (proof) (GLORP)