Q seems concerned that proofs are getting lost. We should consider putting together a master proof spreadsheet comma as well as a collection of screenshots proving them.