resynthesizing

not defined yet