Added path induction, minor change dep. pair def