Worked my through the awful Pattern-nonterminal in the completeness proof.