unexampledness

not defined yet