use proper intersection syntax