Before revision:  Supply-demand at  nodes is monotonically nonincreasing under admissible control.
After revision:  Supply-demand at the nodes is monotonically nonincreasing under admissible control.