This echoes SICP's admonition that "Programs must be written for people to read, and only incidentally for machines to execute."

Which is absurd on it's face for most day to day programmers, but a critical distinction for theoretical computer scientists.