implemented ∩