Author: A.M. Ramsey.