Zaslat SMS: Ontological proofs today