Text this: Non-monotonic reasoning :