Complementary Events Formulas