Text this: Positivstellensätze and Moment Problems with Universal Quantifiers.