s_{\overline{A'A_1}} \cap \overline{A'B} = \{C_1\}