contraction

See reduction.