functional induction