>>60775821
Reverse proofs are nice, too.