And the current Jμ is conserved, i.e., ∇μJμ = 0