In ‘Anselm and Actuality’, David Lewis argued that the assessment of Anselm’s ontological arguments is best achieved when the familiar modal expressions in which the arguments are typically formulated are translated into counterpart theory. I present Lewis’s fascinating translations of the ontological argument found in Anselm’s Proslogion II. Lewis’s formulations are interesting and ingenious, but not especially charitable. There are several better, and more credible, translations of Anselm’s argument into counterpart theory. The argument in revised translation is valid and its premises are all plausible – far more plausible than those offered in Lewis’s original translation. Some concluding remarks are offered in the final section.