Fixed typo.
The ABP oracles are os₁ and os₂.