verifiability criterion