SMS: Ontological proofs today