formalization of law