  We define an explicit quasi-local mass functional which is non-decreasing
along all foliations (satisfying a convexity assumption) of null cones. We use
this new functional to prove the null Penrose conjecture under fairly generic
conditions.
