Carlos, Ana e Lúcia são profissionais liberais que prestam serviços para certa empresa que funciona todos os dias. Para essa empresa, independentemente de o dia ser útil ou não, Carlos presta serviços, a cada 3 dias, enquanto Ana e Lúcia prestam serviços a cada 4 e 5 dias, respectivamente. No dia 4 de julho de 2023, foi a primeira vez em que Carlos, Ana e Lúcia prestaram serviços nessa empresa, no mesmo dia do segundo semestre de 2023. O dia imediatamente posterior à segunda vez em que esses três profissionais prestaram serviços nessa empresa, no mesmo dia do segundo semestre de 2023, em que estiveram prestando seus serviços nessa empresa Carlos e Ana, mas não Lúcia, foi o dia