At section 5.11 of the tutorial