SMS versenden: Non-monotonic reasoning :