RISCAP: How to Obtain a Receipt