Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces.
Source: wiktionary