I thought this was about writing proofs with RPG the programming language and I was intrigued.
To make it clear that it is with an RPG (role playing game) it needs an "an" in the title.
Sorry, I didn't even know RPG is a language, it's too late to edit tho
"Every monster is a proof. Bring back the ring before sunrise."
Sorry, I didn't even know RPG is a language, it's too late to edit tho