Sep 9, 2011
Semantics of binary numerals. (Thanks to Jeff Russell for showing me how to simplify the definition.)
