Text this: Nonmonotonic and Inductive Logic :