Unification & tests