User:Bardoligneo/sandbox

St. Anselm's proof.