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