7.6.1 Introduction to Generic Functions
7.6.2 Introduction to Methods
7.6.3 Agreement on Parameter Specializers and Qualifiers
7.6.4 Congruent Lambda-lists for all Methods of a Generic Function
7.6.5 Keyword Arguments in Generic Functions and Methods
7.6.6 Method Selection and Combination
7.6.7 Inheritance of Methods