One of the main results in this book is that the natural piecewise Euclidean metric on \(\Sigma (W,S)\) is nonpositively curved. Although this result will be explained here, a general discussion of nonpositively curved spaces and many of the details of our arguments will be postponed until Appendix I.