noncontemptibility
not defined yet