Use Rob Pike's naming of Sir Tony Hoare