Verification of Intersection