contraction
not defined yet