In which cases should the Type 3 conditional be used?