functions to compare lifted over Jiang with Intersection calls