Processing Case Deductions