x
Verifier Theory and Unverifiability — LessWrong