George Spencer-Brown in his cryptic book, Laws of Form, started off reasoning about “the Distinction” and ended up with an algebra that later writers showed to be the Boolean algebra of two elements.