Wider use of formal methods in the development of computing systems promises better quality in general, and in particular
safer and more reliable systems. But we must recognise that formalisation and formal reasoning are not goals in themselves:
they are partial means to our goals.