Finish PatternMatching