Will do. In the meantime here's a recent article from my Substack: https://formalmethodsai.substack.com/p/stop-asking-ai-to-wri...