Model theory of C*-algebras / Ilijas Farah, Bradd Hart, Martino Lupini, Leonel Robert, Aaron Tikuisis, Alessandro Vignati, Wilhelm Winter. Providence, RI : American Mathematical Society, [2021] ; © 2021