Kirschner'S Modal Ontological Argument