This document discusses different types of conditionals. Type 0 conditionals are factual statements. Type 1 conditionals are predictive about present or future events. Type 2 conditionals are hypothetical situations contrary to present facts. Type 3 conditionals are counterfactual situations contrary to past facts and used for regret or criticism. It also discusses inversion conditionals, including Type 1 with should + subject + verb, Type 2 with were + subject + verb/to + verb, and Type 3 with had + subject + past participle verb. Negation is formed with not coming after the subject.