Added some Path induction stuff.