Closure of context-free languages under regular intersection

The intersection of a context-free language with a regular language is context-free, because a pushdown automaton and a finite automaton can be run in product.