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