Mathematical rigor demands that derivations justify each step; P2's cardinality inference appears to...
This proposition has not been edited since the history system was added.