Pattern matching: removed implementation