5 CAT(0) spaces and groups

From now on, instead of thinking of geodesics as being isometric embeddings,

we reparametrize them linearly so that the domain is always [0, 1].