What among the following could the universal instantiation of $\_\_\_\_\_\_\_\_\_\_\_$

For all x King$($x$)^$ Greedy$($x$)=>$ Evil$($x$)$

a$)$ King$($John$)^$ Greedy$($John$)=>$ Evil$($John$)$

b$)$ King$($y$)^$ Greedy$($y$)=>$ Evil$($y$)$

c$)$ King$($Richard$)^$ Greedy$($Richard$)=>$ Evil$($Richard$)$

d$)$ All of the mentioned