Induction via Recursion

My SIGPX talk slides. More experiment results to come.