Bianchi identity

Layer 1 — Physicsin the relativity subtree

∇_μ G^μν = 0 automatically from ∇_[λ R_μν]ρσ = 0; ensures conservation of T^μν in GR.