induction: move local variables list to end of file, where it works
hits: introduction and discussion of dependent paths