  This is a summary of the proof of BAB conjecture. All material are taken from
the two BAB paper in the reference. The aim of this summary is to help reader
to understand the more technical side of the proof of BAB.
