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:

• Double click on the old theorem in the box of Strings Made (at the bottom of the window). If you're successful, then the theorem will appear at the top of the window as the Current String. Don't pay any attention to what theorem is highlighted. The highlighting is meaningless.
• Click on the Rule of Generation you want to apply. The new theorem will appear as the Current String at the top of the page. If it does not already exist in your collection, it will also appear at the bottom of the list of Strings Made.
• If you get an error message, it means that the rule cannot be applied to the current string. No harm done. Just click on OK.
• If you get four buttons appearing at the top of the string while attempting to apply Rule #3 (III to U), it means that you need to decide which III to change. For example, MIIIII could be grouped M(III)II or MI(III)I or MII(III) yielding MUII, MIUI, or MIIU, respectively. The program assumes at first you mean the first possible group III's. To tell it otherwise, click on the à button to move the ">" to the beginning of the group you want to translate, then click on OK.