ParentFull threadmichael_nielsen·Timothy Chow has a wonderful phrase for this - he describes one of his papers (on forcing) as solving an "open expository problem": https://timothychow.net/forcing.pdfView on HN