0 == v.size() --> v.empty()