into: Whole ~> Goal