Check treatment

Pitts. Log. Sys. v. Prof. Trans. and Log