Complete rules for pattern matching