Verifier Theory and Unverifiability — LessWrong