2Actually there is small price to pay for redundant includes; it makes the compiler do unnecessary work, andtherefore slows it down. But providing some redundant includes as a pedagodical tool is often a good trade-off; theWorkbook will frequently do this.