Man-. ifolds of the first type have one of the geometries S3, S2 E1, E3, Nil3 and Sol3.Just 13 manifolds of this type embed, as was shown in joint work ... Theorem 2.20]. Embeddings j0, j1 : M S4 are s-concordant if they extendto an embedding of M [0, 1]