ReceiptFreeness more proofs