Most of the methods which we use to guide the design of our models can be understood abstractly as operations on logical expressions. We summarise these below, referring back to the sections in which they were used.
