Canon

Main is the set of facts that must stay true of the running app.