Text this: Disjoint events + general addition rule.