rewriting expressions in 4.2, puzzling dependency on f in H_0 / clearer