exhaustlessness
not defined yet