“The product of two negative real numbers is not negative.” Is given by?

• A. ∃x ∀y ((x < 0) ∧ (y < 0) → (xy > 0))
• B. ∃x ∃y ((x < 0) ∧ (y < 0) ∧ (xy > 0))
• C. ∀x ∃y ((x < 0) ∧ (y < 0) ∧ (xy > 0))
• D. ∀x ∀y ((x < 0) ∧ (y < 0) → (xy > 0))