Comment by troupo

Pray tell how it contradicts the first.

Just note: human pattern matching is not Haskell/Erlang/ML pattern matching. It doesn't go [1] through all possible matches of every possible combination of all available criteria

[1] If it does, it's the most powerful computing device imaginable.