Abstract We first provide an alternative proof of the classical Weitzenböck formula for Einstein four-manifolds using Berger curvature decomposition, motivated by which we establish a unified ...