“…This notion of "closeness", formally defined as nearness of operators, was developed to determine the well-posedeness of Dirichlet problems of non-linear elliptic equations, see e.g. [GT01], [DKY20], [BD02], [Ka17] in the Euclidean setting, where naturally the Laplacian should play the role of the operator to which close enough is the elliptic one. In the stratified case, see [DM05], the authors approximate the p-Laplacian on a bounded domain in the Heisenberg group H n by some non-homogeneous, noninvariant differential operator on H n .…”