Consider the rules that define directly or undirectly the goal / and let X be a list of a(/) distinct variables. Since /(X) is free w.r.t. X by hypothesis, it is possible to rewrite the variables in the above rules so that they are a subset of X.

The price cut is serving as a promotion of the manufacturer's new beverage varieties.

She took out her herb knife. She dug; she cut. Mama had told her this sort of bush was no good but to look at.

It contains a great deal of pungent salt, with a mixture of acidity, instead of earth and brimstone; it is a good cathartic, especially for the Negroes. Though at the present day, the jalapa is propagated in every part of America, yet it originally came from the city of Xalapa, from which it derived its name.