useful formulas for discrete math were added