أرسل هذا في رسالة قصيرة: Modern logic in the service of law