> 102. One can't proceed from the informal to the formal by formal means.

Seems to be a strike against LLM-based programming systems like Claude.