The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon the thesis that natural language obeys the compositionality principle, or we must commit to a semantics for conditionals that involves an uncomfortably high degree of stipulation. This article surveys the recent literature on quantified conditionals and aims to pinpoint the issues that stand in the way of a compositional analysis.