proofs detailed in this book.