In this case, either the insertion of  into  succeeds, or  remains unchanged despite the allocation failure.
In this case, either the insertion of  into  is successful, or  stays the same despite the allocation failure.