with: PartPortion ~> Instrument