  An energy estimate is proved for the Bel--Robinson energy along a constant
mean curvature foliation in a spatially compact vacuum spacetime, assuming an
$L^{\infty}$ bound on the second fundamental form, and a bound on a spacetime
version of Bel--Robinson energy.
