F = (¬(∃x)((∀x)(P(x,y))))