Logic-Repair