Moved changeSection() from Book1.js to proof_checker.js.
Been trying to fix problem with Sect[]'s not being recognized with no sucess.