formulization

not defined yet