forbiddenness

not defined yet