If P3's definiens relies on a property logic that already identifies coextensive properties, then ex...
This proposition has not been edited since the history system was added.