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

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