 The only question, accordingly, is whether the ontological argument is sound. The vast majority of present-day philosophers believe that it is not, and one way of arguing for that view is by appealing to strengthened Gaunilo-type objections—where the idea behind a strengthened Gaunilo-type objection is that, rather than merely paralleling the ontological argument, as Gaunilo did in responding to Anselm, in order to show that there is an overpopulation problem for reality in the form of perfect islands, perfect unicorns, and so on, one can instead construct versions that lead to mutually incompatible conclusions, such as the conclusion that there is a perfect solvent, together with the conclusion that there is a perfectly insoluble substance (Tooley, 1981). But if the logical form of the ontological argument is such that arguments of precisely the same form generate contradictions, then the ontological argument must be unsound.