formularization

not defined yet