This result formalizes let be a compact smooth orientable CR hypersurface of CR dimension , equipped with a smooth density and Hermitian metric on tangential forms. It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.