contraction
See
reduction
.