He liked to be able to reason about programs without running them. He preferred simpler languages because they contain less irrelevant noise which got in the wa

He liked to be able to reason about programs without running them. He preferred simpler languages because they contain less irrelevant noise which got in the way of that.