Verifier Theory and Unverifiability | Read Paper on Bytez