NORMAL better gensym names in must-match.