A = Intersect(a, b)
B, C = Intersect(k, a)