Comment by colmanhumphrey

exactly! It's a version of https://en.wikipedia.org/wiki/Inclusion%E2%80%93exclusion_pr...