emphasize that path induction gives a specified function, close #338