Variant of Shokurov's b-semi-ampleness conjecture. For all m≫0m\gg 0m≫0 and any ϵ∈Q>0\epsilon\in\mathbb Q_{>0}ϵ∈Q>0, the divisor
