I'm having a lot of trouble coming up with the situation/question for a combinatorial proof that asks to prove $$2^0 + 2^1 + \dotsb + 2^{n−1} = 2^n − 1$$
Using list counting. The question I came up with for the right hand side is: what is the number of lists length $n$ you can form with $2$ inputs, excluding the list where all the inputs are $2$.