When you move computational detail into a function, such as the
trade_price
function defined in Segment 101, you are said to
be doing procedure abstraction, and you are said to be hiding the
details of how a computation is done behind a procedure-abstraction
barrier.