The function call formula_192 generates the class formula_193 which is compared below with formula_194 This shows that the construction of the class formula_19 mirrors the construction of its defining formula formula_194