reprovableness
not defined yet