section about formalization continued