The congruence axiom says that an affordable alternative indirectly revealed at least as desirable asa chosen alternative must also be chosen. For a chosen bundle x and an affordable unchosen bundle y, the axiom rules out yRx; because xRy, every strict-part-preserving completion ranks x strictly above y.
