... the LG curriculum on Sage, and proofed ~70 games (mostly ... the section because the freeze up and subsequent brute forcing causes ... looking up anything, I go back and redo the whole section, timed, and ... a second time, and the setup and inferences become clear. ...