Which formula represents denial of universality?

Fronting, Kull and Negation: Denial of Universality versus Universal Denial

• ∀x P(x)
• ∀x ¬P(x)
• ∃x P(x)
• ¬∀x P(x)