uncontractedness

not defined yet