first draft of formalization section, missing statistics