Lo que hipotéticamente equivale al argumento: