File:Path from basepoint to tubular neighborhood.pdf