1. Yes. Start with SB(S) → B(BC) → B(BcCc) → B(Bc[B]c). Proceed from there.