1. Introduction; 2. Examples of aspherical manifolds; 3. First contact – The proper category; 4. How can it be true?; 5. Playing the Novikov game; 6. Equivariant Borel conjecture; 7. Existential problems; 8. Epilogue – A survey of some techniques; References; Index.