How about the assymetry to lazily assume successes without receipts?