add topology of three-manifolds