Unification is formal methods speak for solving equations.