'topping off' definitions: