Added Lagrange paragraph.
Replaced \overline{sigma}_i with \sigma_{\omega_i}.
Define \overline{x}
Added pypha theorem.
Fixed conclusion style.
Float barrier before conclusion.
Refer to the pypha stuff.