This project started out as a formalisation of "What is the meaning of
these constant interruptions?" by Hutton and Wright, but has since
grown.