Αποστολή με SMS: Nonmonotonic logics