formalization