forbiddingness
not defined yet