Began adding proof tags, but only for a few in the early 3000s, so at this commit, I could easily remove them if I wanted to.