Goal-misgeneralization is ELK-hard — LessWrong