No, I am assuming this clause. The clause below will handle the case for size 1 and more, and the clause above handles 0. :)