A glossary of the categories in which we shall work, and fibre resolutions.- Pro-objects in the homotopy category.- Completions.- Cohomological criteria for ?-isomorphism.- Completions and fibrations.- Homotopy groups of completions.- Stable results.- Hypercoverings.- The Verdier functor.- The fundamental group.- A profiniteness theorem.- Comparison theorems.