Zen and the art of formalisation.