Updates for the BooleanW notes