Almost finished the proof of the third unification theorem.