disregarding infeasible paths