Dijkstra's notions about provable functions are probably more important during these times where LLMs are churning out hallucinated code.