Added checkrule for negation