"Pattern Matching" is fully verified