Model Logic Correction