New branch

Please accept me!
This is a lot of code just to check if there is anything in `numbers` - is there a more concise way you could do this? Is there a precondition you can write that is only 1 line but has the same effect?