Consider the following premises. There is at least one z for which if z were a sailor, then z is a politician. For all z, z is a sailor if and only if z is a politician. For all z, if z were a politician, then z is a sailor. Can we infer the following from them? There is at least one z for which z is a politician if and only if z is a sailor.
Yes.