Message: “A Formal Introduction” from Pete Maddocks