Zaslať SMS: Non-monotonic reasoning :