Logical discrepancy