[gambit-list] dealing with \