to: PartPortion ~> Goal