Crunched all but one gaps in the intersection lemma.