Completed Boolean value lifting, if implemented