s/b₀/b'.
The ABP oracles are os₁ and os₂ (fixed).