Well, they should have to discover <i>something.</i>  There aren't a lot of undiscovered results that are accessible to an elementary school student studying math, so that discovery will usually be a rediscovery.<p>Is it foolish to write an interpreter as a pedagogical exercise because someone has written a better one?