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 true quantification in the definition is vacuously universal .
Output (English): Not paraphrase