Subject Reduction vs Intersection