Building, checking and diagramming a theory
Building a theory | Checking rigour | Screening for redundant constructs | Diagramming | Simulation