Second conditional

Prototypical conditional sentences in English are those of the form "If X, then Y". The clause X is referred to as the antecedent (or protasis), while the clause Y is called the consequent (or apodosis). A conditional is understood as expressing its consequent under the temporary hypothetical assumption of its antecedent. Conditional sentences can take numerous forms. The consequent can precede the "if"-clause and the word "if" itself may be omitted or replaced with a different complementizer. The consequent can be a declarative, an interrogative, or an imperative. Special tense morphology can be used to form a counterfactual conditional. Some linguists have argued that other superficially distinct grammatical structures such as wish reports have the same underlying structure as conditionals. Conditionals are one of the most widely studied phenomena in formal semantics, and have also been discussed widely in philosophy of language, computer science, decision theory, among other fields.