Text this: Bonferroni-type inequalities ith applications