theory is assumed. Throughout, the presentation is thorough and includes many examples