Restitution could come from revenues of any US product sales or assets, not just the specific one being contested.