Element 'unification algorithm'