Michael's diagram suggests that \\( \textrm{Lan}_{G} (H) \circ G = H \\) which turns out to be the case. Is it true for left Kan extensions in general?