What transformations should a student apply to map triangle ABC onto triangle A''B''C'' after performing a reflection over the x-axis?