reductive reasoning