let extrapolation ()     = !extrapolation_opt