defect_synthesis
