In the July–August 1980 Todorčević attended the six-week summer school called Settop held in Toronto. At the conference, Todorčević along with Abraham had proved the existence of rigid Aronszajn trees and the consistency of formula_5 + there exists a first countable formula_6-space. formula_7 is an abbreviation for the Continuum Hypotesis.