[gambit-list] 4.6.6 or 4.2.8