Wyślij wiadomość: Descriptional complexity of formal systems