uncrampedness
not defined yet