$${v_1 = s_1}$$