For any open, connected and bounded set Ω ⊆ C m , let A be a natural function algebra consisting of functions holomorphic on Ω. Let M be a Hilbert module over the algebra A and M0 ⊆ M be the submodule of functions vanishing to order k on a hypersurface Z ⊆ Ω. Recently the authors have obtained an explicit complete set of unitary invariants for the quotient module Q = M ⊖ M0 in the case of k = 2...