Check treatment

Barendregt v. Downing