[gambit-list] thanks for the help procedure