Heegaard Genus Formula for Haken Manifolds

Suppose M is a compact orientable 3-manifold and a properly embedded orientable boundary incompressible essential surface. Denote the completions of the components of M – Q with respect to the path metric by M ¹, ...,M ^k . Denote the smallest possible genus of a Heegaard splitting of M, or M ^j respectively, for which ∂M, or ∂M ^j respectively, is contained in one compression body by g(M, ∂M), or g(M ^j , ∂M ^j ) respectively. Denote the maximal number of non-parallel essential annuli that can be simultaneously embedded in M ^j by n _j . Then