diff --git a/docs/spec/04.00.00.conventions.md b/docs/spec/04.00.00.conventions.md
index 687bca6..11cc114 100644
--- a/docs/spec/04.00.00.conventions.md
+++ b/docs/spec/04.00.00.conventions.md
@@ -94,7 +94,9 @@ represented using the notation `A == B` and is specified to mean the same as
 `A != B` and is specified to mean the same as
 `(A[ 0 ] != B[ 0 ] || A[ 1 ] != B[ 1 ])`.
 
-The functions `assign`, `back`, `pop_back`, `push_back`, and `size` behave
+Unless otherwise noted, array element assignment will increase the size of the array to include the element. Any remaining new elements will be uninitialized.
+
+The functions `assign`, `back`, `empty`, `pop_back`, `push_back`, and `size` behave
 similarly on arrays as it is defined for c++ std::vector.
 
 When a variable is said to be representable by a signed integer with `x` bits,