license formalization