some more work on receiptfreeness
Yay! secure CPA ⇒ secure CPA†