contractedness
not defined yet