Update to with boolean operations progress