C. A. R. Hoare Quote