  Comments: (1) Why does The Manual of Reason take dyads to be the locus of the inference? This is, in fact, a clever move. Obviously, we cannot take God to be the locus (e.g. God exists, because…), for then the first criterion on a sound inference will not be met—the reason property, whatever it is, cannot be uncontroversially present in a locus whose very existence is controversial. We can’t take the locus to be “everything in the world”, for many such things are not effects (e.g. atoms, space) and so The Manual of Reason’s desired reason will again not be unequivocally present in the locus. Hence, we must pick some particular thing. We had better not choose a human artefact, for the inference, even if sound, would then establish nothing about God. From the class of non-artefacts, the choice of dyads is a good one here, for (a) they are the most basic things made out of the atoms, and hence out of which everything else is made, and (b) if The Manual of Reason can show that these have a maker, then it follows that the maker is aware of everything (from the definition of a maker and (a) above). Thus, God’s omniscience will be a corollary of the proof of his existence.