Consider the following premises. For all y, if y were a writer, then y is driving a car. For all y, if y drives a car, then y is a writer. There is at least one y for which if y drives a car, then y is a writer. Can we infer the following from them? There is at least one y for which y is a writer if and only if y will drive a car.
Yes.