« first day (4 days earlier)      last day (17 days later) » 

user21820
user21820
17:00
@Couchy I'm not sure whether you saw my message to you. Do you mind elaborating your comment or address my question in that message?
Couchy
Couchy
17:45
@user21820 I wasn't able to find any evidence for program extraction depending on impredicativity. I now asked a question to that effect.

« first day (4 days earlier)      last day (17 days later) »