Pošalji tekstualnu poruku: Playing with LEGO and proving theorems