FinalFormal2 — LessWrong