Text this: Ontological proofs today