Message Soup: the Secret Sauce for Consensus Specifications

The message soup technique enables more powerful specifications. Featuring MonadBFT.