Added file w/ list of proofs to track progress. Not necc. entirely filled out.