Відправити по sms: Playing with LEGO and proving theorems