The first calls ret-test-PRIME, which has the signature removed. But you are right, the comment is reversed.

Worse than cut and paste: when trying to design the exact rules, it was different earlier. The use cases for pitfalls became the examples for why the Capture is reformed according to the Signature.

I think I skimmed over the code block when proofing, too. I want to explain that better in prose.

—John