  We prove that all currently known examples of manifolds with nonnegative
sectional curvature satisfy a stronger condition: their curvature operator can
be modified with a 4-form to become positive-semidefinite.
