The measure of angle $y$ is equal to the measure of angle $x$.

The sum of the measures of angle $x$ and the angle on line $s$ that forms a linear pair with $x$ is $180^{\circ }$.

The angle alternate interior to $x^{\circ }$ is equal to the angle vertically opposite to $y^{\circ }$.

The sum of the measures of angle $y$ and the angle consecutive interior to $x^{\circ }$ is $180^{\circ }$.