Title: The logic of the progressive aspect