progressing on unification, yay