 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 impossibilities are grounded not in the law of non-contradiction, but in a non-logical kind of “real repugnance” between two or more of their properties. Kant maintains, for instance, that it is impossible for a material being to be conscious, even though no logical contradiction exists between material and conscious (Kant 1763 [AK 2: 85–6]). It follows that this impossibility is not grounded in divine thought, for God can think any proposition that does not involve a contradiction. So facts about some real possibilities and real impossibilities can only be grounded in a necessary being that somehow exemplifies (rather than merely thinking) every combination of fundamental properties whose joint exemplification is really possible. That being, of course, is supposed to be God. (For discussion, see Fisher and Watkins 1998; Adams 2000; Chignell 2009, 2012, 2014; Stang 2010; Abaci 2014; Yong 2014; Hoffer 2016; Abaci 2019; Oberst 2018, 2020).