I've laid this out in gory detail here, but my purpose was to connect the kind of argument that you give when you do an induction proof, with the description of induction that I gave a moment ago in terms of predicates A of n. 