Horizontal vs vertical generality — LessWrong