Invia SMS: Nonmonotonic and inductive logic :