Consider the following premises. For all z_4, if z_4 takes a plane, then z_4 is a doctor. For all z_4, z_4 will take a plane if and only if z_4 is a doctor. Can we infer the following from them? For all z_4, if z_4 were a doctor, then z_4 is taking a plane.
Yes.