La formalidad lógica, sin embargo, exige que sea explícita la regla que permite la transformación de una EBF.