  In this note we discuss some formal properties of universal linearization
operator, relate this to brackets of non-linear differential operators and
discuss application to the calculus of auxiliary integrals, used in
compatibility reductions of PDEs.
