remaining elements after [ 2, [ 1, [ ] ] ] is popped at index 0 and visited stack is [ ] = [ 1, [ ] ]

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