See Walker and Dick, Induction, pp. 8–9.