unreprovedness

not defined yet