rewrite with lens