This table uses ugly shorthand for pre/postconditions, like so: _Requires_: `T` shall be [...] post: `distance(begin(), end()) == distance(i, j)` It also misses \effects clauses, e.g.: _Requires_ : `T` shall be [...] pre: `i` and `j` are not iterators into `a`. Inserts copies of elements in `[i, j)` before `p`