Examines some recent developments in the theory of $C^*$-algebras, which are algebras of operators on Hilbert spaces. An elementary introduction to the technical part of the theory is given via a basic homotopy lemma concerning a pair of almost commuting unitaries.