line 552   other = And(other, Not(c))