The Butterfly lemma. (February 2022)