La construcción seguirá como ejemplo la construcción de formula_123 a partir de formula_80.