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