Email Record: Logic, induction, and ontology :