If you replace a variable with a operator, the variable should land in the left field. Allow user to copy a Typst version of their proof Add cookies to avoid cheating. Add more puzzles Add Modus Tollens (a -> b, !b ⊢ !a)