12-Copatterns: congruence.