P2's inference may avoid category error by operating at a higher abstraction level, not claiming met...
This proposition has not been edited since the history system was added.