A(x)\forall x