Verifiability is forever