started work on bv1 to boolean lifting