Sea formula_1 un ordinal.