new insights into pattern matching!