Invia SMS: Non-monotonic reasoning :