“…In fact, the locally homogeneous Kundt ∞ triples are of alignment type D k , i.e., the curvature tensor and its covariant derivatives are of type D to all orders [16]. As the SP Is fully determine the Cartan invariants of a type D k spacetime [7,16,8], the Cartan invariants must be constant, ensuring the existence of a fully transitive set of Killing vector fields. Thus, for any Kundt-CSI spacetime, corollary 5.3 and proposition 4.3 give the following proposition: Proposition 6.2.…”