Author: A. C. Ramsey Ramsey