y \in O_x