slide on scala
lossy reasoning