Talk:Ontological argument/GA1