to include
explaining a translation, reflection, or rotation?
How are the rigid motions and congruence criteria methods the same? How are they
different?