Context-dependent identity criteria are common in logic; P2 might rely on implicit, contextually-suf...
This proposition has not been edited since the history system was added.