can we rename .withOption?