Puede interpretarse además como restar el valor del argumento a formula_1, por lo que a veces se conoce como resta lógica.