Wyślij wiadomość: Formal method