LBIT Proofs 5: Propositions 29-38 — LessWrong