Add a util function 'lens_formula'