Verifier Theory and Unverifiability

Link post