Rewriting + match complete