Picture of implications in Lemma Tag 04D6