Check treatment

Laver v. Dennett