[ajb]

Hah. This perspective is how you get an embedding of booleans into the reals in which False is 1 and True is -1 :-)

(Yes, mathematicians really use it. It makes parity a simpler polynomial than the normal assignment).