compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ]

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