Final notes on control abstractions.