Deductive Puzzling