lossy reasoning
lossy reasoning