Set down the relation between universal and existential quantification by matching the List I with List II and select the appropriate answer:

List-I	List-II
a. [(X) ϕX]	1. ≡ [∼ (X) ϕX]
b. [(∃x) ϕX]	2. ≡ [∼ (∃x) ϕX]
c. [(X) ∼ ϕX]	3. ≡ [∼ (X) ∼ ϕX]
d. [(∃x) ∼ ϕX]	4. ≡ [∼ (∃x) ∼ ϕX]

A. a-1, b-2, c-3, d-4

B. a-4, b-3, c-2, d-1

C. a-2, b-4, c-1, d-3

D. a-3, b-1, c-4, d-2

Answer: Option B