Manually define the mrOptions lens