../SilverSight/ReceiptCore.lean