“Minecraft has a predefined set of commands that the player can choose from, that do various (usually oddly specific) things,” said Jon (who used to teach math, incidentally). “For instance, there is ...