Y aquí puede aplicarse la lógica formal de algunos.