• This paper is about progressive aspect. We defend a new principle that we call ‘Progressive Specificity’: if you are Ving and to V is to X or to Y, then you are Xing or you are Ying. We offer six arguments for Progressive Specificity. We then suggest that those six arguments extend to the futurative progressive. We conclude by comparing Progressive Specificity to Conditional Excluded Middle.