Lehmann-Haupt, John.