 The real parts of the CR functions are called the CR pluriharmonic functions.The Kohn Laplacian formula_80 is a non-negative, formally self-adjoint operator.It is degenerate and has a characteristic set where its symbol vanishes.