Certo dia, João afirmou:

Se eu tivesse ido ao banco ontem, eu não precisaria ir ao banco amanhã.

No dia seguinte, não tendo ido ao banco ainda, João diria algo logicamente equivalente ao que dissera no dia anterior, se tivesse dito: