let section = Formula.S_Type