Abstract: I will describe a simple, direct proof of the averaged null energy condition in Minkowski space time, using only Poincaré invariance and without regulating the continuum theory. Based on work in progress with Witten.