Here we can also go crazy and say: 
```
// Not sure if we need the first assert
assert(rows > 0); 

// Check for overflow 
assert(m_values.size() + rows >= rows);

// Check we can increase the size of the vector
assert(m_values.size() + rows < m_values.max_size());
```