v(s) and lazy g_p(s)