A ∪ BC