Thanks for the reference to the Kauffman paper. He has done much to decipher Spencer-Brown's writings. My analysis of how reasoning about "the Distinction" can lead to the two-element Boolean algebra is further explained in a note that can be downloaded from my site http://www.ellerman.org/a-note-on-spencer-browns-algebra/.