contraction.h merged