Iron out section 6.1

- use differentials instead of gradients as in the rest of the paper
- remove unused equations
- introduce dedicated symbol for V_c = O V_f O^T