add intersection rewriting