Boolean correction