\(A \cap B \cap C = 0\) (impossible to have no types).