contractibleness

not defined yet