M. C. B. Hoare

• This jewel remains