Which best describes this axiom:

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

When an item is replaced, space is made by moving all of the items starting at the position specified down toward the bottom of the list by one to make room

None of these

When an item is replaced, it always goes in the position specified in the method call

When an item is replaced, it always goes in the first available unused position