formulizing

not defined yet