Wyślij wiadomość: Modern logic in the service of law