When 'at least one' splinters into cases, count the subsets that have none and subtract them from the total.