Deakstadieđáhus: Ontological proofs today