Si formalizamos el argumento sería: