sentences:  We can suppose that formula_54 is syntactic sugar for formula_57 where formula_58.It has been shown that FO(DTC,BIT) is equal to L.
  
  Any formula with a fixed point (resp.transitive closure) operator can without loss of generality be written with exactly one application of the operators applied to 0 (resp.