Several classical relativity theorems, including the famous singularity theorems, have in their assumptions pointwise energy conditions. Those conditions bound the energy density (or similar quantities) on every spacetime point and are easily violated by quantum fields. One way to examine the applicability of those theorems in semiclassical gravity is to replace them with an averaged version, where the energy density is bounded on a segment of a causal geodesic. The index form method, used instead of the Raychaudhuri equation, provides a direct way of using those weakened conditions. In this talk I will apply this method to the Penrose singularity theorem and the Hawking area theorem and present progress and challenges for both.