verifiability matters