boolean reversal