The modal framework presupposed by P2 is itself contingent on human logical systems, not a constrain...