I genuinely think that to some extent, it’s an engineering problem. If you collect enough sufficiently high quality chains of thought with a structured notation

I genuinely think that to some extent, it’s an engineering problem. If you collect enough sufficiently high quality chains of thought with a structured notation that avoids the reversal curse, you can make a dent in the problem. Or it might be just tilting at windmills I guess, but I would want to try it at least.