Visualization of theorems of the MIU system in Godel, Escher, Bach.