typesetting fix
chage approach of section 3, start with a high-level tour