resynthesize

not defined yet