unshrinkability
not defined yet