Could use `a.size == 0`.