Better comments for construct_intersection()