The Orthogonality Hypothesis is obviously true, the Factored Cognition hypothesis is obviously false, and who can tell about the Fundamental Theorem of Finite Factored Sets?
alternative formulation of orthogonality hypothesis: the size of the space of possible goals for an agent correlates positively, rather than negatively, with an agent's optimization power