Functoriality of Omega in equivalences.
Progress on Long Exact Sequence.