lossy reasoning