wording, use lemma instead of definition
better explanation of lemma
wording
lemma for proof of continuity of psi