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