que se lee: x no antecede a y