Excerpt from Warren Weaver's diary