Which best describes this axiom:

$($ aList $.$ insert $($ i$,$ item $)).$ getEntry $($ i $)=$ item

When item is inserted at position i in an existing list, retreiving the entry at that same position will return item

When item is inserted at position i in an existing list, the item will be placed in the next available position

When item is inserted at position i in an existing list, you do not know which item will be returned when you retrieve the item at that same position i

None of these