The paper demonstrates that there are principled connections between internal compactness of the verb's meaning and the applicability of the progressive. The segmentation of an event into individual quanta can be effected with the proviso that each quantum of an internally compact event represent the event type, not its proper part.