Contraction rule

Summary