formularizing

not defined yet