A survey of the use of implication in school and university curicula, including several instructive examples is given.