Αποστολή με SMS: Deontic Logic in Computer Science