Stav dette: Ontological proofs today