Stuart_Armstrong comments on Research Agenda in reverse: what *would* a solution look like?