Inconsistent Deduction For State