A ⊂ BC