Verifiability: Difference between revisions