result of storing "Mike" at key: "name" in map: [ entry "name": "John", [ ] ] = [ entry "name": "Mike", [ ] ]

Start from the conclusion and work back up the proof. Click the arrow to show the parents.