Match the inference rule on the left with the name of the rule on the right.

$$x P$($x$)$ P$($c$)$

$$xP$($x$)$P$($c$)$ drop zone empty.

P$($c$)$ for an arbitary c$$x P$($x$)$

P$($c$)$foranarbitaryc$$xP$($x$)$ drop zone empty.

$$x P$($x$)$ P$($c$)$ for some element c

$$xP$($x$)$P$($c$)$forsomeelementc drop zone empty.

P$($c$)$ for some element c$$x P$($x$)$

P$($c$)$forsomeelementc$$xP$($x$)$ drop zone empty.

Universal instantiation

Universal generalization

Existential instantiation

Existential generalization