Correct EBNF.  Simplify Pick().