`all(x + y) = all(x) and all(y)` even when `x, y` can be the empty list.