More verifiability checking