remove impossible condition