PAT-stumped by pattern folding.

Top