noncontemptibleness
not defined yet