Text this: Nonmonotonic logic