Anselm asserted that we can prove God's existence and attributes by exploring the idea of God as "that than which a greater cannot be thought." A monk named Gaunilo countered that Anselm's argument—now known as the "ontological argument"—also proved the existence of the greatest conceivable island, which is nonsense.