if |A|=2, |B| =4, |C|