Directed Induction Functional

1 2