The only axiom in the MIU system is: "MI". All strings must be based on this, though if you have once generated a string, you may start from there instead.
Log in or register to write something here or to contact authors.