remove formal treatment section

Instead of a dedicated section, we comment on the "formal treatment"
throughout the paper.