Verifiability, not truth