Pošalji tekstualnu poruku: Provably Correct Systems