"It is 3 years since he smoked." can be replaced by the foll