“…Thus M x and M 2 are certainly not simply-connected and, indeed, the phenomenon reflects a non-cancellation phenomenon in the category of finitely-presented groups. In the examples constructed in [3], [4], and [9], JV is a compact connected simple Lie group G (only G = S 3 occurs in [3,4]) and M l 9 M 2 are certain principal G-bundles over spheres S" with n ^ 7. Thus in these cases the manifolds M 1} M 2 are at most 2-connected since TT 3 (G) contains a Z-summand.…”