v_3=1 \land r_3=1