Αποστολή με SMS: Computable Models of the Law