Wyślij wiadomość: Brief calculus with applications