Si además sucede que formula_1, la relación también puede escribirse como: