3. Jack would have been home on time if he hadn’t missed the bus.
type I (condition possible to fulfil)
type II (condition in theory possible to fulfil)
type III (condition not possible to fulfil - too late)