[UNDER CONSTRUCTION]
Following the end of the pair sequence notation level, I decided to continue defining the binary bisector notation further.
The first thing to do is that n{{0, {0, 0, 1}}} = n{{0, {0, 0, 1}, 0}, 0, 0} = n{{0, {0, {0, ...{0, {0, {0, 0}}}...}}}} with n nests of {0, x} = n{{0, {0, {0, ...{0, {0, {0, 1}}}...}}}} with n-1 nests of {0, x}.
So we have:
1{{0, {0, 0, 1}}} =Â