reformulate

not defined yet