Gauge-invariant decomposition conjecture. There exist a tensor field Hab{\cal H}_{ab}Hab and a vector field XaX^aXa such that