Describes a series of empirical studies designed to investigate the nature of learners' difficulties with the proof technique of structural induction. Indicates that a constant factor was the role of implication in induction. Concludes that the conceptual gap between knowing how to apply the principle of induction and understanding why it is valid was a difficulty. Contains 12 references. (Author/ASK)