支持者中。哈雷尔也提到「由于其论文比较技术的风格，因此较常被引用，较少人真正详读过内容。」，在看了1980年以前的大量论文后，哈雷尔认为结构化程式理论被错误诠释为一个结果较简单的大众定理（folk theorem），而此结果可以追溯到冯·诺依曼及斯蒂芬·科尔·克莱尼现代计算理论的论文。哈雷尔也提到较通用的「结构化程式理论」名称是在1970年代初由提出。
单一while回圈的大众定理版本.此版本的定理将原来定理中的程式控制流程改为一个codice_1回圈，模拟在原来非结构化的程式