add contraction