6.11 Choice Between Alternative Contractions [X.35]