Doom in minecraft and with isabelle | Anything