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