ParentFull threadzelphirkalt·Wasn't that by Abelson/Sussman in SICP lectures, instead of Dijkstra? Or did Abelson/Sussman say that because Dijkstra said it, quoting Dijkstra?View on HN