for x being set holds
( x in the_LeftOptions_of ConwayOne iff x = ConwayZero )