Transformation Does Not Preserve Congruence