Typos.
Start "Quantifying expression" section.