Reflection over parallel lines

This demonstrates that two reflections over parallel line results the same as a single translation in a direction perpendicular to the parallel lines and with a magnitude twice the length of the distance between the parallel lines.
use the check boxes to see the reflections. then use the slider to show the translation.