Insertion

This section defines insertion functions.