Triangle ABC has vertices A(0, 4), B(2, 1), and C(4, 3). Find the
coordinates of the vertices of ABC after a reflection over the
x-axis.