into: Direction ~> Goal