Pošalji tekstualnu poruku: Formal method