The aim of this book is to give as detailed a description as is possible of one of the most beautiful and complicated examples in low-dimensional topology. This example is a gateway to a new idea of higher dimensional algebra in which diagrams replace algebraic expressions and relationships between diagrams represent algebraic relations. The reader may examine the changes in the illustrations in a leisurely fashion; or with scrutiny, the reader will...