[gambit-list] Global environment