What Is Verifiability?