ah, optimism

From a paper on Anselm's so-called ontological argument:

"In what follows we present a formalization of both of [the arguments]. It should be stated however that it is not only a mere interpretation but an exact translation of the arguments into the realm of logic. Of course many authors have claimed the same, but most of their efforts seem to be mere misinterpretations."

It's rather touching how convinced the authors are that they are right and everyone else was wrong.