Formal Part 1: General information