Complete the insertion implementation, without testing