The HIT for the (0,2)-constancy lemma.