Consider the following premises. s_2 -> w. s_2 <-> w. w -> s_2. Can we infer w <-> s_2 from them?
 From s_2 <-> w we can infer s_2 -> w. Finally, from w -> s_2, s_2 -> w we can infer w <-> s_2. Therefore, the answer is yes.