patternMatching specs