Hoffman on the historicity of God's existence?