Wyślij wiadomość: First-order logic