logical discrepancy