lean\lp(save): saving work