The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
triumph
Baltimore
doubtful
statistics
spectacular
sighed
balanced
respects
nerves
dealt
shouldn't
engagement
Vienna
merchants
altered
middle-class
alienation
sampling
refund
HYPOTHALAMIC
foams
Skyros
Bobbie
Deegan
MERGER
JAIL
saving
Springs
associate
startled
November
judges
questioning
speeches
inspection
acceptable
Detroit
displayed
cope
Ambassador
auto
Elaine
loaded
gang
regularly
surrender
chiefly
chart
programs
anyone
average
French
spring
former
drinks
aluminum
recycled
naked
looking
single
introduced
problem