s 1 - * , v3 .. t*