Deimos: New Theory

Type in your new theory. (The syntax for theories is defined here.)