The classification programme of C*-algebras seeks to classify all separable simple unital nuclear C*-algebras using K-theory and traces. After enjoying tremendous success during several years, some exotic examples were found and certain regularity properties emerged as necessary conditions in the classification programme. The Toms-Winter conjecture asserts that these regularity properties are all equivalent. In this talk, I will discuss the current state of the Toms-Winter conjecture and the classification program.