PROBLEM SOLVERS WE'RE COMPELLED TO DEDUCE AND TO DEDUCT BECAUSE THAT'S WHAT WE DO