Element 'unification algorithms'