[gambit-list] a simple question for optimization