Maintaining Deductions on a Case