into: Path ~> Goal