Symbol: V_isn_last