specifically, I don't see where the last step G(h_t) = etc. follows from