The most famous argument in medieval philosophy is Anselm's proof of God's existence. But how is it supposed to work?