This result formalizes there exist smoothly bounded pseudoconvex worm domains for which the -Neumann operator and the Bergman projection fail to preserve . It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.