Text this: The diamond lemma