contractibility

not defined yet