more progress on unification