rewritten pattern-matching.html