Re: Completeness of pattern matching