Displaying similar documents to “A Reduction-Principle for Infinite Formulas.”