Identify the rule of inference that is used to arrive at the conclusion that $$x$($r$($x$)->$ a$($x$))$ from the hypothesis r$($y$)->$ a$($y$).$

Multiple Choice

universal generalization

existential instantiation

existential generalization

universal instantiation