  We show that the free Burnside groups $B(m,n)$ are infinite for $m\geq 2$ and
odd $n\geq 557$, the best currently known lower bound for the exponent. The
proof uses iterated small cancellation theory where the induction is based on
the nesting depth of relators. The main instrument at every step is a new
concept of a certification sequence.
