(x(t_0), \dot x(t_0))