Build knowledge base first, or backchain? — LessWrong