Before revision:  With a view towards practice, we also show that one can always operate strictly under the budget.
After revision:  With a view towards practice, we can show that one can always operate strictly under the budget.