You could define an alternative All where where it means (at least one is true) && (for each n, n is true) But is it useful? Suppose I'm a bus driver and I as

You could define an alternative All where where it means (at least one is true) && (for each n, n is true) But is it useful? Suppose I'm a bus driver and I ask "all aboard?" I'd expect that if the answer is false, I'm missing somebody, and not that the bus is empty