SMS: An introduction to legal reasoning