Re: [math-fun] Knuth's Boolean Synthesis problem; digit silliness