Armstrong on induction