Thanks for pointing that out. This is still magnitudes less things to manually check for correctness than an entire proof.