Please introduce value oriented recursion (not just pretty printing). Like powerset, or countdown functions. Link them to Pascal triangle and then recursively defined series. Combinatorics, factorials, (1+x/a)^n .. etc etc. Tell them it looks fucked up dull and alien, for now.