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