His 1977 paper considered a problem in Ramsey theory, and gave a large number as an upper bound for its solution.
В своей статье 1977 г. рассмотрел проблему теории Рамсея, и нашел наибольшее возможное число, являющееся решением.