Update for maximal lazy