As to the partition calculus in 1980’s, "Todorčević proved a startling square bracket partition result for the uncountable and introduced new technology whose ramifications are still unfolding, and proved a stepping up lemma for negative square bracket partition relations."