OPENAI MASCOT (PROOF) (GLORP)