The theory of designs allows us to represent computations that may abnormally terminate, or behave unpredictably. A design is effectively a pair of predicates, represent a precondition and a postcondition. If the precondition is violated, the behaviour of a design is unspecified.