contraction.h added