Text this: Nonmonotonic and inductive logic: