In principle, the maximum propagation speed v(t0) could be infinite. Finiteness can be guaranteed, for instance, by requiring the principal symbol P0(t,x,s) to be independent of (t,x) for |x| > R outside a large ball of radius R > 0.