unification operator methods to calculate