Consult the example on page 577