| S = * V_