Logic Discrepancy