inexhaustibleness
not defined yet