Show relationship between rigidity and congruence for lifted equality