(\forall x)R(x)