\forall xA(x)