more work on boolean lifting