If the logic of properties used in P3 already treats coextensive properties as identical, extensiona...