uninhabitedness

not defined yet