Added a proofchecker for an upcoming lecture