L. G. G. (editor) Ramsey