(\forall x)P(x)