Kant’s version of the argument is based on the claim that there are real possibilities that are not grounded in the principle of non-contradiction, but that nevertheless must have a ground or explanation (Kant 1763 [AK 2: 63ff]). If they are not grounded in the principle of non-contradiction, then they are not grounded in God’s thinking them rather than their negations, which is how Leibniz had proposed that all such possibilities are grounded. Put the other way around, Kant thinks that some imp