Hello everyone!
Even though I have done substantial tensor calculus, I still don't get one thing. Probably I am being naive or even stupid here, but consider
$$R_{\mu\nu} = 0$$.
If I expand the Ricci tensor, I get
$$g^{\sigma\rho} R_{\sigma\mu\rho\nu} = 0$$.
Which, in normal algebra, should...