result of dumping [ [ 1, [ ] ], [ [ 0, [ ] ], [ ] ] ] to [ [ 0, [ ] ], [ ] ] = [ [ 0, [ ] ], [ [ 1, [ ] ], [ [ 0, [ ] ], [ ] ] ] ]

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