noncontemptible

not defined yet