oops, forgot to commit and push. Proof code should be in here
I added the code for the Proof button in _test, but you tossed the file (probably correctly). Need to get my changes put wherever the new file is and re-toss.