Add empty "diffy" lemma  *nudge* *nudge*