\forall x