The following dichotomy is established for any pair F, G of hereditary families of finite subsets of N: Given N, an infinite subset of N, there exists M an infinite subset of N so that either ...