Customer and payer:
Completed transaction:
Unit of value:
Revenue basis:
Variable costs and unknowns:
Necessary conditions:
Counterexample:
Small test:
Stop condition: