 So, by the rules governing proper inference, the putative counterexample is rejected, and the proof looks pretty good. For, cleverly it divides all things into three categories, as Vācaspati remarks (1996: 563). There are uncreated things, atoms, for instance, created things that clearly have an agential cause, such as pots, and things such as the earth and growing grass that do not clearly have an agential cause. This last set becoming the inferential subject is bracketed such that no examples can be pulled from it.