Well, they should have to discover something. There aren't a lot of undiscovered results that are accessible to an elementary school student studying math, so

Well, they should have to discover something. 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. Is it foolish to write an interpreter as a pedagogical exercise because someone has written a better one?