OX \cong OY.