Logic Pt.II Inductive C.Read