Methodology of foreseeable difficulties — AI Alignment Forum