Invalidate the case of `low` > `high`. If a `value` is also present, invalidate the cases of `value` < `low` and `value` > `high`.