Confluent

The Unification Algorithm is confluent as the order of derivations doesnt matter. You will always end in a Solved Form no matter where you start and where you go.