Definition, synonyms and related words
The antecedent in the if-clause; the well-formed formula (wff).