Unification

The internal consistency of a model such that each term is unambiguous and no rules contradict.