resynthetizing

not defined yet