New preamble and start of technical lemma.