Universal quantification succeeds whenever all candidates satisfy the predicate equally; isomorphism...
This proposition has not been edited since the history system was added.