reverse of [ 25, [ "Smith", [ "John", [ ] ] ] ] = [ "John", [ "Smith", [ 25, [ ] ] ] ]

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