Title: Logic, inductive and deductive