Recursion and Induction redone; local and global contexts and identities.