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