Exploring rigid transformations and congruence