verifiability

not defined yet