Pošalji tekstualnu poruku: Proof, logic, and formalization