Lemme update the diff without lc_ext