Require that the value x is less than the value y, with steeper penalty.