Task: Text Matching
Input (English): Then the equalizer is again the entire domain `` X '' , since the universal quantification in the definition is vacuum-suitable .
Then the equalizer is again the entire domain `` X '' , since the universal quantification in the definition is vacuously true .
Output (English): Paraphrase