Quote


Voting: - 4 +
I want to be sure we finish, so I'm not going to worry about termination.
— David Gries, Proving the correctness of a loop, with only a few minutes remaining in the lecture. · Nov. 1, 2004