remaining elements after [ x, [ y, [ ] ] ] is popped at index [ 1, [ ] ] and visited stack is [ ] = [ x, [ ] ]

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