Calvindude's argument that logic proves the existence of God