The conditional
->Type 1: To mean the future.
If + verb in simple present, verb in the future.
-> Type 2: To mean unreal present.
If + verb in simple past, modal verb + bare infinitive (without to)
-> Type 3: To mean unreal past.
If + verb in past perfect, modal verb + have + past participle
