Added more stuff to crazy lemma