Polish \circled, bigpre and add \B.
Polish.
Better grammar parts introduction.
Partially rewrite the Section 2.3.4.