The Following Inference Is an Application of Which Rule? (Z)(Az $\supset$

The following inference is an application of which rule? (z) (Az $\supset$ Bd) .Therefore, Ad $\supset$ Bd.

A) quantifier negation
B) universal instantiation
C) existential generalization
D) existential instantiation
E) universal generalization