Textmeddelande: The diamond lemma