Conceptual Closure in Anselm's Proof