A unification is non-trivial if it reveals deep structural identity across domains, regardless of wh...
This proposition has not been edited since the history system was added.