more inf: finished triv
intersection