Proof the proofer

### :warning:  Do not merge

This is a proof for #2605