formulization