Matching and Definitions