So the receipt-token is converted to the WORM so it becomes untraceable, kind of like tornado cash. Do you mean mined or just converted? Mined kind of implies a lottery-like system to me.