ABSTRACT
At Alex’s suggestion, they had come up to the University, on the hill overlooking their office, to listen to an inaugural lecture in the Computing Department by the new Professor of Modal Logic, who was well-known for applying his theoretical ideas to industrial problems. He had talked about the importance of putting modelling on a formal basis, illustrating his argument with examples of how simple statements about requirements could be interpreted in many ways.
