Select the Best Translation into Predicate Logic, Using the Following

Multiple Choice

select the best translation into predicate logic, using the following translation key:
d: Diego
s: Sean
Dx: x is on the Dean's list
Px: x is a philosophy major
Sx: x is a student
Vx: x is a valedictorian
-The valedictorian is Diego.

A) (∃x) {Vx • (∀y) [(Vy ⊃ y=x) • x=d]}
B) (∀x) (Vx ⊃ x=d)
C) (∀x) (Vx ≡ x=d)
D) Vd • ~(∃x) (Vx • x=d)
E) (∃x) [Vx • (∃y) (Vy • x=y) • x=d]