restrictedness

not defined yet