contraction.h updated