Receipts formally defined.