Methodology of foreseeable difficulties — LessWrong