If the C's depend nomically on the A's in virtue of the premise sets and and if in addition (all members of) and are counterfactually independent of the A's, then it follows that the C's depend counterfactually on the A's.