SMS versenden: Explanatory Nonmonotonic Reasoning