P3's logic can consistently distinguish coextensive non-identical properties while remaining neutral...
This proposition has not been edited since the history system was added.