Combinatorial set theory of C*-algebras. (2019)