Consider the following premises. For all y, y is an artist if and only if y is rich. For all y, y is rich if and only if y is an artist. Can we infer the following from them? There is at least one y for which the fact that y were rich does not imply that y is an artist.
 From the fact that for all y, y is rich if and only if y is an artist we can infer that for all y, if y were rich, then y is an artist. From the fact that for all y, y is an artist if and only if y is rich we can infer that for all y, if y were an artist, then y is rich. From the fact that for all y, if y were an artist, then y is rich, and that for all y, if y were rich, then y is an artist we can infer that for all y, y is an artist if and only if y is rich. Finally, from the fact that for all y, y is an artist if and only if y is rich we can infer that for all y, if y were rich, then y is an artist, which contradicts that There is at least one y for which the fact that y were rich does not imply that y is an artist. Therefore, the answer is no.