... LG curriculum on Sage, and proofed ~70 games (mostly ... ones in the curriculum and problem sets plus some ... -4/5 for the section because the freeze up and ... whole section, timed, and get -0/-1 with time to ... a second time, and the setup and inferences become clear. ...