it might make sense to assert that there is no zero length list ever