El argumento de ejemplo solo es sólido los martes y cuando en efecto, se sabe que Juan realmente va a trabajar los martes.