Processing Payments on Ideal-Logic