Update boolean.h