Describe matching semantics