Since I, to my succeeding horror, brought it up, Liberal absolutely meant the proof to show the existence of his god. For that matter, Anselm absolutely did, and from my limited reading, so did most people who followed him. What abstruse realms modern philosophers put the proof into notwithstanding (or even irregardless, whose proof of existence I have written in the margin) I can’t say, but it is, so to speak, a goddamn proof of God.