redundant pattern matching is redundant.