Tidy `gather` in `t/proof.js`.