Instructions on using MU Puzzle

The purpose of the program, MU Puzzle, is to facilitate the generation of theorems in the MIU system. It has no ability to look at a string of letters and decide whether or not it is a theorem.

The program gives you the axiom MI and the opportunity to apply any of the four rules of generation to get more theorems. It is a finicky program however, so pay attention to the advice below.

To generate a new theorem from an old theorem: