deductive reasoning - Word Not Found