use arrow for non-dep. arg. of path ind. hypothesis in ch. 2, close #441