with: PartPortion ~> PartPortion