Check correctness after unification...