Email Record: Nonmonotonic and inductive logic :