Processed non-terminals.