que se lee: x antecede a y.