CS 307: Using MacGambit