simplifies to A in classic logic.
I guess there's an ambiguity whether "God exists" is a propositional variable.