Check treatment

Ex parte Haskell