[David Abrahams] > This rubs my expectations the right way. Does it foreshadow the > introduction of boolean operators (e.g. &, |, &&, ||)? Python already has & | ^, and Guido's PEP already specifies that bools overload them to map bool X bool -> bool.