SMS versenden: The diamond lemma