Deduce and DeduceC produce abbreviated deductionsinstead of score lines