Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding.