Corrections for logic