Proposed Orthogonality Theses #2-5 — LessWrong