1. (~ method, during a generic function call) Having a parameter list that matches the supplied arguments. 2. (~ handler, when a condition is signaled) Matching the signaled condition by type and by an optional test function associated with the handler.