Require that the value x is equal to the value y.