Text this: Nonmonotonic and inductive logic :