Text this: Bonferroni-type inequalities with applications /