reformulation

not defined yet