Lo cual no quiere decir que si formula_5 es verdadero, dicho agente i sabe/conoce formula_5.