If God creates the laws of logic, the impossibility invoked in P2 cannot serve as an external limit ...