Intersection language computation.