add proximal operator