reprovability

not defined yet