Letter from Charles A. R. Hoare to Joshua Lederberg