No dia 15 de janeiro, Carlos disse: — Se a data de entrega do trabalho fosse amanhã, em vez de ter sido ontem, então eu conseguiria concluí-lo. De forma logicamente equivalente, no dia seguinte, dia 16 de janeiro, Carlos poderia substituir sua fala original por: